
with Rational_Numbers.Reduce;
with Rational_Numbers.relations;

function Rational_Numbers.Reducing_Relation(X, Y : Rational) return Boolean is

begin

   return Relation(X,Y);

exception
   when Constraint_Error
     =>

     return  Relation(Reduce(X),Reduce(Y));


end Rational_Numbers.Reducing_Relation;
